Trong toán học, Công thức Leibniz để tính π được viết như sau:Đây là một chuỗi đan dấu, được đặt theo tên nhà toán học Gottfried Wilhelm Leibniz. Tuy nhiên Leibniz không phải là người đầu tiên tìm ra kết quả của chuỗi số này, mà là Madhava, một nhà toán học người Ấn Độ sống ở thế kỷ 14-15.[1] Thậm chí trước khi Leibniz công bố kết quả của mình vào năm 1673 thì có một nhà toán học khác là James Gregory cũng đã độc lập tìm ra kết quả của chuỗi số vào năm 1671.[2]Đến đầu thế kỷ 18, Brook Taylor tìm ra được kết quả của một chuỗi số tổng quát hơn, mà sau này được gọi là chuỗi Taylor:Theo đó thì công thức Leibniz là một trường hợp đặc biệt của chuỗi Taylor khi x=1. Khi đó thì: arctan ⁡ 1 = 1 4 π . {\textstyle \arctan 1={\tfrac {1}{4}}\pi .} [3]Bên cạnh đó công thức Leibniz cũng có thể được suy ra từ hàm số L Dirichlet với ký tự Dirichlet của module 4 được tính khi s=1.